Comparison of real-time operating systems